Бабенко Л. К. , Маро Е. А. «Применение алгоритмов решения проблемы булевой выполнимости формул для оценки стойкости блочных шифров семейства ГОСТ к алгебраическому криптоанализу» // Прикладная дискретная математика. Приложение 2017. №10 C.62-64
Зюбина Д. А. , Филиппов С. Д. , Атутова Н. Д. , Маро Е. А. , Куценко А. В. «Алгебраический криптоанализ низкоресурсных шифров Simon и Speck» // Прикладная дискретная математика. Приложение 2021. №14 C.84-91
Семёнов А. А. , Антонов К. В. , Грибанова И. А. «Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов» // Прикладная дискретная математика. Приложение 2021. №14 C.104-110
Романьков В. А. «Эффективные методы алгебраического криптоанализа и защита от них» // Прикладная дискретная математика. Приложение 2019. №12 C.117-125